Algèbres de relations : axiomatisations et algorithmes
نویسنده
چکیده
procédures permettant de décider l'égalité ou l'inclusion de relations. Après avoir défini formellement le calcul des relations, nous nous concen-trons sur deux fragments particulièrement importants et bien étudiés dans la littérature : les algèbres de Kleene et les allégories. Enfin, nous montrons comment réunir ces deux fragments, ce qui nous mène à plusieurs questions ouvertes.
منابع مشابه
Trust-based recommendation with privacy
Recommender Systems are widely used to achieve a constantly growing variety of services. Along with social networks recommendation systems have emerged that take into account friendship or trust between users. In this article, we propose several recommendation algorithms that respect data privacy constraints in order to be implemented on decentralized and dynamic architecture. They do not need ...
متن کاملIntroduction aux algèbres d’opérateurs I : Des espaces de Hilbert aux algèbres stellaires
et strictement positive : x 6= 0⇒ 〈x | x〉 > 0 (4) Finalement, H, muni de la norme ‖x‖ := 〈x | x〉 doit être un espace de Banach, i.e., être complet. La condition (3) est équivalente à 〈x | x〉 ∈ R, en effet 4〈x | y〉 = 〈x+ y | x+ y〉 − 〈x− y | x− y〉 + i〈x+ iy | x+ iy〉 − i〈x− iy | x− iy〉. L’équation (3) est donc conséquence de (4). Venons-en à la norme ; le point de départ est l’inégalité de Cauchy-...
متن کاملVers une utilisation améliorée de relations spatiales pour l'apprentissage de données dans les modèles graphiques
Résumé. Nous nous intéressons dans cet article aux représentations des relations spatiales pour l’extraction d’information et la modélisation des données visuelles, en particulier dans le contexte de la catégorisation d’images. Nous montrons comment la prise en compte d’une relation spatiale entre deux éléments entraîne l’apparition d’une information supplémentaire entre ces éléments et le rest...
متن کاملAlgorithmes rapides de boosting de SVM
Résumé. Les algorithmes de boosting de Newton Support Vector Machine (NSVM), Proximal Support Vector Machine (PSVM) et Least-Squares Support Vector Machine (LS-SVM) que nous présentons visent à la classification de très grands ensembles de données sur des machines standard. Nous présentons une extension des algorithmes de NSVM, PSVM et LS-SVM, pour construire des algorithmes de boosting. A cett...
متن کاملPrédiction de la qualité dans les plateformes collaboratives : une approche générique par les graphes hétérogènes
Résumé. La qualité des contenus sur les plateformes collaboratives est très hétérogène. Dans la littérature scientifique, les algorithmes d’analyse structurelle appliqués à la tâche de détection de contenu de qualité reposent généralement sur des graphes définis à partir d’un seul type de nœuds et de relations. Pourtant les graphes sur lesquels reposent ces récentes plateformes présentent de no...
متن کامل